You have chosen Semantics for Propositional Attitudes, Mental Models and Semantics for Propositional Attitudes.
All three must be different; choose another text.